java - 为什么 Tomcat 服务器不使用 web.xml 文件作为 Vaadin 7 应用程序中使用的 servlet 配置？